數理邏輯

shùlǐluójí

mathematical logic

* * *

shu4 li3 luo2 ji2

mathematical logic, symbolic logic

* * *

數理邏輯|数理逻辑 [shù lǐ luó jí] ► mathematical logic ► symbolic logic